47

Predicate diagrams for the verification of real-time systems

Year:
2007
Language:
english
File:
PDF, 492 KB
english, 2007